Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
91	Rigorous development of reusable, domain-specific components, for complex applications* I. Johnson1, C. Snook2, A Edmunds2 & M. Butler2 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2004-10-08 12:29:31 Unified Modeling Language Infographics Diagrams Models of computation Formal methods State diagram Object Process Methodology Stereotype Class diagram Refinement Object-oriented design Action
92	Uniqueness Typing Simplified—Technical Appendix Edsko de Vries∗ Department of Computer Science Trinity College Dublin, Ireland August 13, 2008 Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Logic in computer science Models of computation Computability theory Metalogic Model theory Simply typed lambda calculus Lambda calculus CurryHoward correspondence Intuitionistic type theory
93	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:52 Computability theory Theory of computation Mathematical logic Models of computation Theoretical computer science Gdel numbering Membrane computing Multiset Kurt Gdel Computable number Numbering Turing machine
94	Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code Charles Killian, James W. Anderson, Ranjit Jhala, and Amin Vahdat University of California, San Diego {ckillian, jwanderson, jhala, vahdat}@ Add to Reading List Source URL: www.macesystems.org Language: English - Date: 2007-03-11 23:28:24 Concurrent computing Liveness Safety Model checking Random walk Concurrency Models of computation
95	Computational Modeling, Formal Analysis, and Tools for Systems Biology Add to Reading List Source URL: www.eziobartocci.com Language: English - Date: 2016-02-05 19:02:40 Bioinformatics Scientific modeling Models of computation Systems biology Concurrency Computational biology Linear temporal logic Model checking Agent-based model Gene regulatory network Construction and Analysis of Distributed Processes Petri net
96	Cache-Oblivious Red-Blue Line Segment Intersection Lars Arge1,? , Thomas Mølhave1,?? , and Norbert Zeh2,? ? ? 1 2 Add to Reading List Source URL: users.cs.duke.edu Language: English - Date: 2015-07-24 06:57:56 Linear algebra Sorting algorithms Computational geometry Cache Models of computation Line segment Cache-oblivious algorithm B-tree Merge sort Intersection Trie BentleyOttmann algorithm
97	Computational Irreducibility and Computational Analogy Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2015-10-12 16:05:50 Computability theory Theory of computation Turing machine Alan Turing Models of computation Computability ChurchTuring thesis Computable function Algorithm Reduction Turing completeness Machine that always halts
98	Lecture notes for the 28th McGill Invitational Workshop on Computational Complexity Bellairs Institute Holetown, Barbados Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2016-07-22 01:13:28 Quantum information science Quantum mechanics Quantum computing Models of computation Quantum states Mathematical formulation of quantum mechanics Qubit Quantum information Quantum circuit Quantum gate Observable No-cloning theorem
99	Fault-tolerant Quantum Computing Bryan Eastin Northrop Grumman Corporation Aurora, CO December 2014 Add to Reading List Source URL: www.qec14.ethz.ch Language: English - Date: 2014-12-19 04:03:41 Quantum information science Quantum computing Models of computation Fault-tolerant computer systems Emerging technologies Quantum error correction Quantum circuit Qubit GottesmanKnill theorem Quantum operation Pauli matrices Quantum gate
100	1 Translating SCXML Statecharts to iUML-B State-machines Karla Morris1 and Colin Snook2 1 Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:50:39 SCXML Models of computation State diagram Formal methods Refinement

UPDATE